(set-logic QF_NRA)
(declare-fun b () Bool)
(declare-fun x () Real)
(declare-const v1 Bool)
(declare-const v3 Bool)
(declare-const v5 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const r1 Real)
(declare-const r3 Real)
(declare-const r4 Real)
(declare-const r7 Real)
(push 1)
(assert (or (= 1 (* r3 r1 r1)) (= v1 (not v3) false (or v5 v3 v7 v8) (<= 0 r4 1))))
(assert (or (>= (/ r3 (- r1)) 100) (= (not v3) false (or v5 v3 v7 v8))))
(check-sat)
(assert true)
(check-sat)
